fn main() {
    let _v = || { [] }; //~ ERROR type annotations needed for the closure
}
